61 research outputs found

    Boolean comparison by simulation

    Full text link
    The development of high speed, large capacity hardware systems for logic simulation makes boolean comparison of logic networks feasible for designs of practical importance. Boolean comparison provides a complete check of functional equivalence of two logic networks and is a valuable tool in design verification. This paper describes virtual logic that controls the boolean comparison process and provides large reductions in the required number of test cases for many prac-tical design problems. The virtual logic is simulated by the logic simulation system at the same time as the two models are simulated for test cases. The virtual logic has the task of generating new test cases such that the entire input space is covered but minimizing the number of test vectors required. Multivalued logic simulation and other techniques are used to achieve the reductions. Since the entire boolean comparison task is completed without assistance of a general purpose host system the usual communication overhead is avoided. The techniques described are suitable for high speed logic simulators. The simulation system for the work described here was the Engineering Verification Engine (EVE) developed by IBM but other simulation systems provide simi-lar capability. Index Terms Boolean comparison, exhaustive testing, logic partitioning, logic level simulation, multi-valued logic, ternary algebra, functional verification, logic verification. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission

    A Sound and Complete Left-Corner Parsing for Minimalist Grammars

    Get PDF

    Phylogeography of Recently Emerged DENV-2 in Southern Viet Nam

    Get PDF
    Revealing the dispersal of dengue viruses (DENV) in time and space is central to understanding their epidemiology. However, the processes that shape DENV transmission patterns at the scale of local populations are not well understood, particularly the impact of such factors as human population movement and urbanization. Herein, we investigated trends in the spatial dynamics of DENV-2 transmission in the highly endemic setting of southern Viet Nam. Through a phylogeographic analysis of 168 full-length DENV-2 genome sequences obtained from hospitalized dengue cases from 10 provinces in southern Viet Nam, we reveal substantial genetic diversity in both urban and rural areas, with multiple lineages identified in individual provinces within a single season, and indicative of frequent viral migration among communities. Focusing on the recently introduced Asian I genotype, we observed particularly high rates of viral exchange between adjacent geographic areas, and between Ho Chi Minh City, the primary urban center of this region, and populations across southern Viet Nam. Within Ho Chi Minh City, patterns of DENV movement appear consistent with a gravity model of virus dispersal, with viruses traveling across a gradient of population density. Overall, our analysis suggests that Ho Chi Minh City may act as a source population for the dispersal of DENV across southern Viet Nam, and provides further evidence that urban areas of Southeast Asia play a primary role in DENV transmission. However, these data also indicate that more rural areas are also capable of maintaining virus populations and hence fueling DENV evolution over multiple seasons

    The Sudden Dominance of blaCTX–M Harbouring Plasmids in Shigella spp. Circulating in Southern Vietnam

    Get PDF
    Shigellosis is a disease caused by bacteria belonging to Shigella spp. and is a leading cause of bacterial gastrointestinal infections in infants in unindustrialized countries. The Shigellae are dynamic and capable of rapid change when placed under selective pressure in a human population. Extended spectrum beta lactamases (ESBLs) are enzymes capable of degrading cephalosporins (a group of antimicrobial agents) and the genes that encode them are common in pathogenic E. coli and other related organisms in industrialized countries. In southern Vietnam, we have isolated multiple cephalosporin-resistant Shigella that express ESBLs. Furthermore, over two years these strains have replaced strains isolated from patients with shigellosis that cannot express ESBLs. Our work describes the genes responsible for this characteristic and we investigate one of the elements carrying one of these genes. These finding have implications for treatment of shigellosis and support the growing necessity for vaccine development. Our findings also may be pertinent for other countries undergoing a similar economic transition to Vietnam's and the corresponding effect on bacterial populations

    Reducing the environmental impact of surgery on a global scale: systematic review and co-prioritization with healthcare workers in 132 countries

    Get PDF
    Abstract Background Healthcare cannot achieve net-zero carbon without addressing operating theatres. The aim of this study was to prioritize feasible interventions to reduce the environmental impact of operating theatres. Methods This study adopted a four-phase Delphi consensus co-prioritization methodology. In phase 1, a systematic review of published interventions and global consultation of perioperative healthcare professionals were used to longlist interventions. In phase 2, iterative thematic analysis consolidated comparable interventions into a shortlist. In phase 3, the shortlist was co-prioritized based on patient and clinician views on acceptability, feasibility, and safety. In phase 4, ranked lists of interventions were presented by their relevance to high-income countries and low–middle-income countries. Results In phase 1, 43 interventions were identified, which had low uptake in practice according to 3042 professionals globally. In phase 2, a shortlist of 15 intervention domains was generated. In phase 3, interventions were deemed acceptable for more than 90 per cent of patients except for reducing general anaesthesia (84 per cent) and re-sterilization of ‘single-use’ consumables (86 per cent). In phase 4, the top three shortlisted interventions for high-income countries were: introducing recycling; reducing use of anaesthetic gases; and appropriate clinical waste processing. In phase 4, the top three shortlisted interventions for low–middle-income countries were: introducing reusable surgical devices; reducing use of consumables; and reducing the use of general anaesthesia. Conclusion This is a step toward environmentally sustainable operating environments with actionable interventions applicable to both high– and low–middle–income countries
    • 

    corecore